Epsilon de Hilbert

L'Epsilon de Hilbert est une extension d'un langage formel par l'opérateur epsilon, où celui-ci se substitue aux quantificateurs dans le langage en tant que méthode conduisant à une preuve de la cohérence pour l'extension du langage formel. L'opérateur epsilon et la méthode de substitution epsilon sont généralement appliqués à un calcul de prédicats, suivis par une démonstration de la cohérence. Le calcul des prédicats étendu par l'opérateur epsilon est ensuite étendu et généralisé pour couvrir les objets mathématiques, les classes et les catégories pour lesquelles on veut montrer la cohérence, en s'appuyant sur la cohérence déjà montrée à des niveaux antérieurs^[1].